mcsta/modest mcsta egl.jani -E N=10,L=2 --props messagesB -O out.txt Minimal --unsafe --es -S Hybrid --store-compress None --no-partial-results --alg OptimisticValueIteration --epsilon 1e-6 --width 1e-6 --relative-width
egl.jani:model: info: egl is a DTMC model.
egl.jani: info: Need 88 bytes per state.
egl.jani: info: Explored 66060286 states for N=10, L=2.
Peak memory usage: 10566 MB
Analysis results for egl.jani
Experiment N=10, L=2
+ State space exploration
State size: 88 bytes
States: 66060286
Transitions: 66060286
Branches: 67108861
Rate: 260807 states/s
Time: 271.5 s
+ Property messagesB
Value: 4.010732650756836
Bounds: [4.010732650756836, 4.010732650756836]
Time: 16.9 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 3.2 s
Min. prob. 1 states: 66060286
Time for min. prob. 1 states: 2.9 s
+ Essential states
Iterations: 2
Essential states: 3
Transitions: 3
Branches: 4
Time: 10.8 s
+ Optimistic value iteration
Total iterations: 3
Verif. attempts: 1
Verif. iterations: 1
Final epsilon: 1E-06
Time: 0.0 s
Exported results to file "/out.txt".